When Women Kill

When Formal Systems Kill: Computer Ethics and Formal Methods

Computer ethics is usually motivated by and deals with problematic decision-making cases arising from the ubiquity and unprecedented power of computer and information technologies. In this paper, we address a distinct topic that is germane to computer ethics but has thus far been neglected in the computer ethics literature. Formal methods is the science of mathematically proving computer system...

Women who kill their husbands: mariticides in contemporary Ghana.

Homicide by wives against husbands is a largely unexplored subject in lethal violence research. The paucity of information on the phenomenon is particularly acute in the non-Western world where scholarly research is virtually nonexistent. The specific goal for this article, then, was to provide additional insights into the issue by investigating wife-to-husband killings that occurred in Ghana, ...

When Adding Women Matters:

Although reports of wartime atrocities in the former Yugoslavia began circulating at the onset of the conflict in 1991, it was not until news stories began featuring evidence of widespread rape and sexual violence that the general public began pressuring their leaders to effectively respond. Women’s groups around the world were particularly vocal in demanding that the international community ta...

When Women Lead Change Happens

A TIME TO KILL: WHEN IS LEADERSHIP TARGETING AN EFFECTIVE COUNTERTERRORISM STRATEGY by